Logical Expression

定义 Definition

logical expression：逻辑表达式；用逻辑符号（如 AND/OR/NOT、→、↔ 等）和命题/条件组合起来，表示一个可以判断真假的逻辑公式或语句。在数学逻辑、计算机科学与编程条件判断中很常见。（在编程里也常指会返回 true/false 的表达式。）

发音 Pronunciation (IPA)

/ˈlɑːdʒɪkəl ɪkˈsprɛʃən/

例句 Examples

A logical expression can be true or false.
逻辑表达式可以为真或为假。

To avoid bugs, check that the logical expression matches the intended conditions before running the program.
为避免程序错误，在运行前要检查逻辑表达式是否与预期条件一致。

词源 Etymology

logical 来自 logic（逻辑，源于希腊语 logos，与“言语、推理、道理”相关），表示“与逻辑/推理有关的”。expression 来自拉丁语 expressio（表达），指“表达出来的形式”。合起来 logical expression 就是“以逻辑方式表达推理或条件的式子/公式”。

相关词 Related Words

• Boolean
• Formula
• Logic
• Operator
• Predicate
• Proposition
• Statement
• Truth Table

文学与经典著作中的用例 Literary & Notable Works

• Principia Mathematica（Whitehead & Russell，《数学原理》）：在形式逻辑与符号体系中大量使用“逻辑表达式/逻辑公式”的概念。
• Introduction to Mathematical Logic（Elliott Mendelson，《数理逻辑导论》）：系统讲解逻辑表达式、语法与语义（真值解释）。
• Gödel, Escher, Bach: An Eternal Golden Braid（Douglas Hofstadter，《哥德尔、艾舍尔、巴赫》）：在讨论形式系统与可表达性时频繁涉及逻辑表达式与符号推理。